Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
751	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-15 16:47:35 Epistemology Gregory Wheeler Formal epistemology Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Default logic Logic Non-classical logic Science
752	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements Vitaliy L. Khizder† , David Toman‡ and Grant Weddell‡ † ‡ Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Artificial intelligence Abox Tbox Description logic Relational model Modal logic Logic Non-classical logic Ontology
753	2 Basic Description Logics Franz Baader Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Ontology Non-classical logic Philosophical logic Model theory Quantification Description logic Tbox Abox Knowledge representation and reasoning Logic Science Mathematical logic
754	Description Logics Foundations of Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Propositional calculus Philosophical logic Logic in computer science Logical syntax Modal logic First-order logic Proposition Fuzzy logic Entailment Logic Mathematical logic Non-classical logic
755	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
756	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
757	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
758	Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Artificial intelligence Description logic Information science First-order logic FO Lambda calculus Function Knowledge representation and reasoning Mathematical logic Logic Mathematics
759	A New Mapping from ALCI to ALC Yu Ding and Volker Haarslev and Jiewen Wu Concordia University, Montreal, Quebec, Canada {ding yu\|haarslev\|w jiewen}@cse.concordia.ca 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Philosophical logic Abox Tbox Description logic Hybrid logic Logic Non-classical logic Ontology
760	Speeding up Approximation with nicer Concepts Anni-Yasmin Turhan? and Yusri Bong Theoretical Computer Science, TU Dresden, Germany {turhan, bong}@tcs.inf.tu-dresden.de Abstract. Concept approximation is an inference serv Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information science Non-classical logic Approximation algorithm Logarithm Concepts Anti de Sitter space Science Logic Mathematics Artificial intelligence Description logic

UPDATE